JavaScript file inclusion in HTML